منابع مشابه
On light logics, uniform encodings and polynomial time
We investigate on the extensional expressive power of Light Affine Logic, analysing the class of uniformly representable functions for various fragments of the logic. We give evidence on the incompleteness (for polynomial time) of the propositional fragment. Following previous work, we show that second order leads to polytime unsoundness. We then introduce simple constraints on second order qua...
متن کاملUnderstanding Data-Driven Visual Encodings through Deconstruction
Our ongoing work aims to better understand the relationship between visual marks and data encodings that comprise innovative data visualizations. By innovative, we refer to data visualizations that in part extend or deviate from conventional visualization techniques. Authors of these types of visualizations engage and inform their audience by incorporating novel data-bound compositions. In our ...
متن کاملThe Uniform-Pareto Distribution and Eeponentiated Uniform-Pareto Distribution and Their Application in Income Data
In this paper, a new distribution is introduced, which is a generalization of a well-known distribution. This distribution is flexible and applies to income data modeling. We first provide some of the mathematical and distributional properties of this new model and then, to demonstrate the flexibility the new distribution, we will present the applications of this distribution with ...
متن کاملadaptive non‑uniform rate sampling and application in data compression
in this paper the author considers a general method, based on time domain samples for spectral manipulation of time limited signals. first, the original signal is divided into some frames in the time domain. then, by presenting a suitable theoretical and computational algorithm, and using a method for improving the speed of convergence, we find the local bandwidth of each frame; thereby, each f...
متن کاملIndexing Non-Uniform Spatial Data
Non-uniformity in data extents is a general characteristic of spatial data. Indexing such non-uniform data using conventional spatial index structures such as R -trees is inefficient for two reasons: (1) The non-uniformity increases the likelihood of overlapping index entries, and, (2) clustering of non-uniform data is likely to index more dead space than clustering of uniform data. To reduce t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1980
ISSN: 0304-3975
DOI: 10.1016/0304-3975(80)90043-2